Representations of First Order Function Types as Terminal Coalgebras
نویسنده
چکیده
We show that function types which have only initial algebras for regular functors in the domains, i.e. first order function types, can be represented by terminal coalgebras for certain nested functors. The representation exploits properties of ω-limits and local ω-colimits.
منابع مشابه
A Universal Investigation of $n$-representations of $n$-quivers
noindent We have two goals in this paper. First, we investigate and construct cofree coalgebras over $n$-representations of quivers, limits and colimits of $n$-representations of quivers, and limits and colimits of coalgebras in the monoidal categories of $n$-representations of quivers. Second, for any given quivers $mathit{Q}_1$,$mathit{Q}_2$,..., $mathit{Q}_n$, we construct a new quiver $math...
متن کاملAbstract Gsos Rules and a Compositional Treatment of Recursive Definitions
GSOS RULES AND A COMPOSITIONAL TREATMENT OF RECURSIVE DEFINITIONS STEFAN MILIUS, LAWRENCE S. MOSS, AND DANIEL SCHWENCKE Institut für Theoretische Informatik, Technische Universität Braunschweig, Germany e-mail address: [email protected] Department of Mathematics, Indiana University, Bloomington, IN, USA e-mail address: [email protected] Institut für Theoretische Informatik, Technische Univ...
متن کاملAbstract GSOS Rules and a Modular Treatment of Recursive Definitions
GSOS RULES AND A MODULAR TREATMENT OF RECURSIVE DEFINITIONS STEFAN MILIUS , LAWRENCE S. MOSS , AND DANIEL SCHWENCKE c a Lehrstuhl für Theoretische Informatik, Friedrich-Alexander Universität Erlangen-Nürnberg, Germany e-mail address: [email protected] b Department of Mathematics, Indiana University, Bloomington, IN, USA e-mail address: [email protected] c Institute of Transportation System...
متن کاملContinuous Functions on Final Coalgebras
In a previous paper we gave a representation, or way of programming continuous functions on streams, whether discrete-valued functions, or functions between streams. We gave also a combinator on the representations of stream processing functions that reflects composition. Streams are topologised a la Baire, by taking for basic open neighbourhoods the set of streams that share a given finite pre...
متن کاملOn the Integral Representations of Generalized Relative Type and Generalized Relative Weak Type of Entire Functions
In this paper we wish to establish the integral representations of generalized relative type and generalized relative weak type as introduced by Datta et al [9]. We also investigate their equivalence relation under some certain conditions.
متن کامل